Ehrenfeucht conjecture

Ehrenfeucht猜想